Khoumsi, Ahmed: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

[IEEE 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) - Paris, France (2019.4.23-2019.4.26)] 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) - Alternative Inference-Based Decentralized Prognosis of Discrete Event Systems

Year:

2019

Language:

english

File:

PDF, 837 KB

english, 2019

2

Correction to: Arborescent architecture for decentralized diagnosis of discrete event systems

Journal:

Discrete Event Dynamic Systems

Year:

2020

File:

PDF, 127 KB

2020

3

[IEEE 2018 IEEE International Conference on Big Data (Big Data) - Seattle, WA, USA (2018.12.10-2018.12.13)] 2018 IEEE International Conference on Big Data (Big Data) - Validation and Correction of Large Security Policies: A Clustering and Access Log Based Approach

El Hadj, Maryem Ait, Erradi, Mohammed, Khoumsi, Ahmed, Benkaouz, Yahya

Year:

2018

Language:

english

File:

PDF, 6 KB

english, 2018

4

A Supervisory Control Method for Ensuring the Conformance of Real-Time Discrete Event Systems

Journal:

Discrete Event Dynamic Systems

Year:

2005

Language:

english

File:

PDF, 1.05 MB

english, 2005

5

An Unifying Decision-Making Framework in Discrete-Event Systems: Application to Centralized and Decentralized Control, Diagnosis and Prognosis

Journal:

IFAC Proceedings Volumes

Year:

2010

Language:

english

File:

PDF, 188 KB

english, 2010

6

[IEEE 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT) - Barcelona (2017.4.5-2017.4.7)] 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT) - Decentralized supervisory control of discrete event systems without loss of information

Year:

2017

Language:

english

File:

PDF, 668 KB

english, 2017

7

[IEEE 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT) - Barcelona (2017.4.5-2017.4.7)] 2017 4th International Conference on Control, Decision and Information Technologies (CoDIT) - Arborescent architecture for decentralized supervisory control of discrete event systems

Khoumsi, Ahmed, Chakib, Hicham

Year:

2017

Language:

english

File:

PDF, 680 KB

english, 2017

8

Arborescent architecture for decentralized diagnosis of discrete event systems

Journal:

Discrete Event Dynamic Systems

Year:

2020

File:

PDF, 1.21 MB

2020

9

[IEEE 2009 American Control Conference - St. Louis, MO, USA (2009.06.10-2009.06.12)] 2009 American Control Conference - Multi-decision decentralized prognosis of failures in discrete event systems

Khoumsi, Ahmed, Chakib, Hicham

Year:

2009

Language:

english

File:

PDF, 1.53 MB

english, 2009

10

[ACM Press the 2016 ACM - Vienna, Austria (2016.10.28-2016.10.28)] Proceedings of the 2016 ACM on Cloud Computing Security Workshop - CCSW '16 - Towards an Efficient Policy Evaluation Process in Multi-Tenancy Cloud Environments

Ayache, Meryeme, Erradi, Mohammed, Freisleben, Bernd, Khoumsi, Ahmed

Year:

2016

Language:

english

File:

PDF, 623 KB

english, 2016

11

A Survey of Image Compression Algorithms for Visual Sensor Networks

Mammeri, Abdelhamid, Hadjou, Brahim, Khoumsi, Ahmed

Journal:

ISRN Sensor Networks

Year:

2012

Language:

english

File:

PDF, 2.14 MB

english, 2012

12

[IEEE 2008 IEEE International Conference on Automation Science and Engineering (CASE 2008) - Arlington, VA (2008.08.23-2008.08.26)] 2008 IEEE International Conference on Automation Science and Engineering - Multi-decision C&P∨D&A architecture for the decentralized control of discrete event systems

Chakib, Hicham, Khoumsi, Ahmed

Year:

2008

Language:

english

File:

PDF, 210 KB

english, 2008

13

A formal basis for the design and analysis of firewall security policies

Khoumsi, Ahmed, Erradi, Mohammed, Krombi, Wadie

Journal:

Journal of King Saud University - Computer and Information Sciences

Year:

2016

Language:

english

File:

PDF, 1.21 MB

english, 2016

14

Supervisory control for the conformance of real-time discrete event systems 1 , 2

Journal:

IFAC Proceedings Volumes

Year:

2004

Language:

english

File:

PDF, 7.95 MB

english, 2004

15

[IEEE 2013 American Control Conference (ACC) - Washington, DC (2013.6.17-2013.6.19)] 2013 American Control Conference - A simple formal method to synthesize an orchestrator in web service composition

Year:

2013

Language:

english

File:

PDF, 179 KB

english, 2013

16

Complete Test Graph Synthesis For Symbolic Real-time Systems

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 421 KB

english, 2005

17

Testing distributed real-time systems in the presence of inaccurate clock synchronizations

Journal:

Information and Software Technology

Year:

2003

Language:

english

File:

PDF, 299 KB

english, 2003

18

A new method for centralised and modular supervisory control of real-time discrete event systems

Ouédraogo, Lucien, Khoumsi, Ahmed, Nourelfath, Mustapha

Journal:

International Journal of Control

Year:

2010

Language:

english

File:

PDF, 1.01 MB

english, 2010

19

[IEEE 2016 IEEE Vehicle Power and Propulsion Conference (VPPC) - Hangzhou, China (2016.10.17-2016.10.20)] 2016 IEEE Vehicle Power and Propulsion Conference (VPPC) - Problem- and Project-Based Learning in Engineering: A Focus on Electrical Vehicles

Gonzalez-Rubio, Ruben, Khoumsi, Ahmed, Dubois, Maxime, Trovao, Joao P.

Year:

2016

Language:

english

File:

PDF, 840 KB

english, 2016

20

[IEEE 2019 18th European Control Conference (ECC) - Naples, Italy (2019.6.25-2019.6.28)] 2019 18th European Control Conference (ECC) - Arborescent Architecture for Decentralized Prognosis of Discrete Event Systems

Year:

2019

Language:

english

File:

PDF, 373 KB

english, 2019

21

A New Method for Transforming Timed Automata

Ahmed Khoumsi, Lucien Ouedraogo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 484 KB

english, 2005

22

Multi-decision diagnosis: decentralized architectures cooperating for diagnosing the presence of faults in discrete event systems

Hicham Chakib,Ahmed Khoumsi

Journal:

Discrete Event Dynamic Systems

Year:

2012

Language:

english

File:

PDF, 1.10 MB

english, 2012

23

[SCITEPRESS - Science and and Technology Publications 11th International Conference on Informatics in Control, Automation and Robotics - Vienna, Austria (2014.9.1-2014.9.3)] Proceedings of the 11th International Conference on Informatics in Control, Automation and Robotics - Decentralized Supervisory Control of Discrete Event Systems - Moving Decisions Closer to Actions

Khoumsi, Ahmed, Chakib, Hicham

Year:

2014

Language:

english

File:

PDF, 113 KB

english, 2014

24

[IEEE 2014 Twelfth Annual Conference on Privacy, Security and Trust (PST) - Toronto, ON, Canada (2014.7.23-2014.7.24)] 2014 Twelfth Annual International Conference on Privacy, Security and Trust - Automata-based approach to design and analyze security policies

Krombi, Wadie, Erradi, Mohammed, Khoumsi, Ahmed

Year:

2014

Language:

english

File:

PDF, 211 KB

english, 2014

25

[IEEE 2008 33rd IEEE Conference on Local Computer Networks (LCN 2008) - Montreal, QB, Canada (2008.10.14-2008.10.17)] 2008 33rd IEEE Conference on Local Computer Networks (LCN) - Energy-efficient transmission scheme of JPEG images over Visual Sensor Networks

Mammeri, Abdelhamid, Khoumsi, Ahmed, Ziou, Djemel, Hadjou, Brahim

Year:

2008

Language:

english

File:

PDF, 751 KB

english, 2008

26

Decentralized Supervisory Control of Discrete Event Systems: an Arborescent Architecture to Realize Inference-Based Control

Khoumsi, Ahmed, Chakib, Hicham

Journal:

IEEE Transactions on Automatic Control

Year:

2018

Language:

english

File:

PDF, 207 KB

english, 2018

27

[IEEE 2019 International Conference on Advanced Communication Technologies and Networking (CommNet) - Rabat, Morocco (2019.4.12-2019.4.14)] 2019 International Conference on Advanced Communication Technologies and Networking (CommNet) - Managing Security Policies within Cloud Environments Using Aspect-Oriented State Machines

Ayache, Meryeme, Khoumsi, Ahmed, Erradi, Mohammed

Year:

2019

Language:

english

File:

PDF, 40 KB

english, 2019

28

[IEEE 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) - Paris, France (2019.4.23-2019.4.26)] 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT) - Alternative Inference-Based Decentralized Prognosis of Discrete Event Systems

Year:

2019

File:

PDF, 837 KB

2019

29

[IEEE 2010 3rd International Symposium on Applied Sciences in Biomedical and Communication Technologies (ISABEL 2010) - Roma, Italy (2010.11.7-2010.11.10)] 2010 3rd International Symposium on Applied Sciences in Biomedical and Communication Technologies (ISABEL 2010) - On the selection of appropriate wavelet filters for visual sensor networks

Mammeri, Abdelhamid, Hadjou, Brahim, Khoumsi, Ahmed

Year:

2010

Language:

english

File:

PDF, 295 KB

english, 2010

30

[ACM Press the 14th international symposium - Montr?al, P.Q., Canada (2001.09.30-2001.10.03)] Proceedings of the 14th international symposium on Systems synthesis - ISSS '01 - Synthesizing distributed real-time systems modeled by a timed version of a subset of LOTOS

Year:

2001

Language:

english

File:

PDF, 302 KB

english, 2001

31

[IEEE 2019 8th International Conference on Systems and Control (ICSC) - Marrakesh, Morocco (2019.10.23-2019.10.25)] 2019 8th International Conference on Systems and Control (ICSC) - Sensor and Actuator Attacks of Cyber-Physical Systems: A Study Based on Supervisory Control of Discrete Event Systems

Year:

2019

Language:

english

File:

PDF, 365 KB

english, 2019

32

SetExp: a method of transformation of timed automata into finite state automata

Lucien Ouedraogo, Ahmed Khoumsi, Mustapha Nourelfath

Journal:

Real-Time Systems

Year:

2010

Language:

english

File:

PDF, 1.79 MB

english, 2010

33

On synthesizing test cases in symbolic real-time testing

Journal:

Journal of the Brazilian Computer Society

Year:

2006

Language:

english

File:

PDF, 343 KB

english, 2006

34

[IEEE 2008 9th International Workshop on Discrete Event Systems - Goteborg, Sweden (2008.05.28-2008.05.30)] 2008 9th International Workshop on Discrete Event Systems - Multi-decision decentralized control of discrete event systems : Application to the C&P architecture

Chakib, Hicham, Khoumsi, Ahmed

Year:

2008

Language:

english

File:

PDF, 196 KB

english, 2008

35

[IEEE 2016 International Conference on Wireless Networks and Mobile Communications (WINCOM) - Fez, Morocco (2016.10.26-2016.10.29)] 2016 International Conference on Wireless Networks and Mobile Communications (WINCOM) - User driven policy for selecting wireless communication technologies in intelligent transportation systems

Khoumsi, Ahmed, Jaramillo, Alexander, Al-Canaan, Amer

Year:

2016

Language:

english

File:

PDF, 165 KB

english, 2016

36

A high abstraction level approach for detecting feature interactions between telecommunication services

Chentouf, Zohair, Khoumsi, Ahmed

Journal:

Journal of King Saud University - Computer and Information Sciences

Year:

2013

Language:

english

File:

PDF, 483 KB

english, 2013

37

Diagnosis of Faults in Real-Time Discrete Event System

Khoumsi, Ahmed, Ouédraogo, Lucien

Journal:

IFAC Proceedings Volumes

Year:

2009

Language:

english

File:

PDF, 316 KB

english, 2009

38

[IEEE 2016 International Conference on Electrical Sciences and Technologies in Maghreb (CISTEM) - Marrakech & Bengrir, Morocco (2016.10.26-2016.10.28)] 2016 International Conference on Electrical Sciences and Technologies in Maghreb (CISTEM) - New approach to modeling the direct torque control applied to the induction motor, Reduction of ripples on the torque

Yantour, Hamid, Saadi, Janah, Khoumsi, Ahmed

Year:

2016

Language:

english

File:

PDF, 426 KB

english, 2016

39

[IEEE Automation (MED 2010) - Marrakech, Morocco (2010.06.23-2010.06.25)] 18th Mediterranean Conference on Control and Automation, MED'10 - A hybrid system based approach to Direct Torque Control (DTC) of induction motors

Yantour, Hamid, Saadi, Janah, Khoumsi, Ahmed

Year:

2010

Language:

english

File:

PDF, 194 KB

english, 2010

40

SPIE Proceedings [SPIE ITCom 2001: International Symposium on the Convergence of IT and Communications - Denver, CO (Monday 20 August 2001)] Technologies, Protocols, and Services for Next-Generation Internet - Active networks: mobile agents as an enabling technology

Cherkaoui, Soumaya, Khoumsi, Ahmed, Jayasumana, Anura P., Chandrasekar, V.

Year:

2001

Language:

english

File:

PDF, 151 KB

english, 2001

41

[IEEE 2019 IEEE Vehicle Power and Propulsion Conference (VPPC) - Hanoi, Vietnam (2019.10.14-2019.10.17)] 2019 IEEE Vehicle Power and Propulsion Conference (VPPC) - Project-Based Learning in Engineering: Illustration by a Capstone Project of an Electric Vehicle

Gonzalez-Rubio, Ruben, Khoumsi, Ahmed, Trovao, Joao P.

Year:

2019

File:

PDF, 1.47 MB

2019

42

Two formal methods for the synthesis of discrete event systems

Ahmed Khoumsi, Kassem Saleh

Journal:

Computer Networks and ISDN Systems

Year:

1997

Language:

english

File:

PDF, 2.37 MB

english, 1997

43

[IEEE 2012 20th Mediterranean Conference on Control & Automation (MED 2012) - Barcelona, Spain (2012.07.3-2012.07.6)] 2012 20th Mediterranean Conference on Control & Automation (MED) - Multi-decision prognosis: Decentralized architectures cooperating for predicting failures in discrete event systems

Year:

2012

Language:

english

File:

PDF, 970 KB

english, 2012

44

Grid automata and supervisory control of dense real-time discrete event systems

Mustapha Nourelfath, Ahmed Khoumsi

Journal:

Mathematics and Computers in Simulation

Year:

2006

Language:

english

File:

PDF, 262 KB

english, 2006

45

[IEEE 2015 23th Mediterranean Conference on Control and Automation (MED) - Torremolinos, Malaga, Spain (2015.6.16-2015.6.19)] 2015 23rd Mediterranean Conference on Control and Automation (MED) - A Unifying Decision-Making Framework to study secrecy in decentralized discrete event systems

Year:

2015

Language:

english

File:

PDF, 228 KB

english, 2015

46

[IEEE The 4th International Symposium on Parallel and Distributed Computing (ISPDC'05) - lille, France (04-06 July 2005)] The 4th International Symposium on Parallel and Distributed Computing (ISPDC'05) - Coordination of Components in a Distributed Discrete-Event System

Year:

2005

Language:

english

File:

PDF, 282 KB

english, 2005

47

[IEEE 2011 Saudi International Electronics, Communications and Photonics Conference (SIECPC) - Riyadh, Saudi Arabia (2011.04.24-2011.04.26)] 2011 Saudi International Electronics, Communications and Photonics Conference (SIECPC) - Determining suitable wavelet filters for visual sensor networks

Hadjou, Brahim, Mammeri, Abdelhamid, Khoumsi, Ahmed

Year:

2011

Language:

english

File:

PDF, 894 KB

english, 2011

48

[IEEE Automation (MED 2008) - Ajaccio, France (2008.06.25-2008.06.27)] 2008 16th Mediterranean Conference on Control and Automation - A multi-decision approach for decentralized diagnosis of the presence and absence of faults in discrete event systems

Khoumsi, Ahmed, Chakib, Hicham

Year:

2008

Language:

english

File:

PDF, 217 KB

english, 2008

49

[IEEE 2012 20th Mediterranean Conference on Control & Automation (MED 2012) - Barcelona, Spain (2012.07.3-2012.07.6)] 2012 20th Mediterranean Conference on Control & Automation (MED) - A Unifying Decision-Making Framework to study secrecy in Discrete event systems

Khoumsi, Ahmed, Ouedraogo, Lucien

Year:

2012

Language:

english

File:

PDF, 176 KB

english, 2012

50

[IEEE Automation (MED 2010) - Marrakech, Morocco (2010.06.23-2010.06.25)] 18th Mediterranean Conference on Control and Automation, MED'10 - New results in modeling and supervisory control of real-time discrete event systems

Khoumsi, Ahmed, Ouedraogo, Lucien

Year:

2010

Language:

english

File:

PDF, 250 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@z-lib.do

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски